Making UML Precise
نویسندگان
چکیده
منابع مشابه
Giving Precise Semantics to Reuse in UML
In UML there is little support for reusing specifications and designs. To deal with this problem, we enhance UML with support for definition, reuse and evolution of reusable components. This is not a trivial task, since some language concepts lack a precise semantics, while the interpretation of others is simply “beyond the scope of UML”. By providing our own definitions in these cases, and by ...
متن کاملAnalysing UML Active Classes and Associated
We consider the problem of precisely deening UML active classes with an associated state chart. We are convinced that the rst step to make UML precise is to nd an underlying formal model for the systems modelled by UML. We argue that labelled transition systems are a sensible choice; indeed they have worked quite successfully for languages as Ada and Java. Moreover, we think that this modelizat...
متن کاملA Casl Formal De nition of UML Active Classes and Associated State Machines
We consider the problem of precisely deening UML active classes with an associated state chart. We are convinced that the rst step to make UML precise is to nd an underlying formal model for the systems modelled by UML. We argue that labelled transition systems are a sensible choice; indeed they have worked quite successfully for languages as Ada and Java. Moreover, we think that this modelizat...
متن کاملAnalysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
We consider the problem of precisely de ning UML active classes with an associated state chart. We are convinced that the rst step to make UML precise is to nd an underlying formal model for the systems modelled by UML. We argue that labelled transition systems are a sensible choice; indeed they have worked quite successfully for languages as Ada and Java. Moreover, we think that this modelizat...
متن کاملState Diagrams in Uml: a Formal Semantics Using Graph Transformations or Diagrams Are Nice, but Graphs Are worth Their Price
We show how to transform UML (Uniied Modeling Language) state diagrams into graphs by making explicit the intended semantics of the diagram. The process of state expansion in nested state diagrams is explained by graph transformations in three steps: (1) adding boundary nodes introducing a precise interface for the state to be expanded, (2) expanding the state, and (3) removing the boundary nod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998